Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
151	C2 P2 L The Completeness of Classical Propositional and Predicate Logic Aldo Antonelli University of California, Davis Add to Reading List Source URL: aldo-antonelli.org Language: English
152	IEEE International Conference on Data Engineering PSALM: Cardinality Estimation in the Presence of Fine-grained Access Controls Huaxin Zhang, Ihab F. Ilyas, Kenneth Salem University of Waterloo Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2009-04-07 11:57:14 Data management Logic SQL Predicate logic Software Query optimization Cardinality Join Extension Sample size determination Sampling Parameter
153	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
154	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
155	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
156	Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 18:54:34 Set theory Z notation Predicate logic Functions and mappings S Equivalence relation Binary relation Finitary relation Zermelo–Fraenkel set theory Mathematical logic Mathematics Logic
157	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: sygus.seas.upenn.edu Language: English - Date: 2015-01-10 00:32:21 Predicate logic Theoretical computer science Formal methods NP-complete problems First-order logic Satisfiability Modulo Theories Expression Type system Function Mathematics Logic Mathematical logic
158	Microsoft Word - U006_eikos_language_system_description_v2.doc Add to Reading List Source URL: ucadia.s3.amazonaws.com Language: English - Date: 2009-07-17 01:52:31 Science Predicate logic Axiom Model theory Eikos Mathematical logic Function Claim Mereology Mathematics Logic Patent law
159	Welcome Welcome to the 47th Annual Meeting of the Chicago Linguistic Society! We have scheduled for you an intense three days of linguistic excitement (7–9 April 2011), all taking place in Ida Noyes Hall at the Univer Add to Reading List Source URL: hum.uchicago.edu Language: English - Date: 2013-09-30 13:37:17 Philosophical logic Predicate logic Chicago Linguistic Society Science Analytic philosophy Logic Quantification Semantics
160	Temporal Logics for Hyperproperties Michael R. Clarkson1 , Bernd Finkbeiner2 , Masoud Koleini1 , Kristopher K. Micinski3 , Markus N. Rabe2 , and C´esar S´anchez4 1 3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematical logic Philosophical logic Predicate logic Constructible universe Quantification Model theory Logic Temporal logic Linear temporal logic

UPDATE